More from this Author

Programming Languages: Implementations, Logics and Programs

by M. Hermenegildo (Editor), S. D. Swierstra (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)